Summary

Adds the state-space analogues of PseudoHamiltonian / ComposedHamiltonian, for the OpenLoop / ClosedLoop control-flow path (CTFlows Phase A′).

• Data.ControlledVectorField{F,TD,VD} <: AbstractControlledVectorField{TD,VD} — a controlled vector field fc(t,x,u,v) with an explicit control argument, out-of-place (no mutability trait), dynamics_trait = StateDynamics. Natural + uniform (t,x,u,v) call signatures.
• Data.ComposedVectorField{TD,VD,CVF,L} <: AbstractVectorField{TD,VD,OutOfPlace} — functor g(t,x,v) = fc(t,x,u(...),v) composing a controlled vector field with an OpenLoop or ClosedLoop control law. The control is read via the law's feedback-dispatched uniform call (open-loop u(t,v), closed-loop u(t,x,v)).

Notes

• Composed traits are the join of the two inputs, so fc and the law may carry different TD/VD — the composition always goes through the uniform calls, so individual traits need not match. Tested for cross-trait cases (autonomous fc + non-autonomous law → NonAutonomous; fixed fc + variable law → NonFixed).
• Rejects DynClosedLoop laws (that is the Hamiltonian path — ComposedHamiltonian).
• Reuses _join_td / _join_vd from the composed-Hamiltonian module.
• Getters controlled_vector_field, control_law.

Tests

test/suite/data/test_controlled_vector_field.jl and test_composed_vector_field.jl: all call arities, cross-trait joins, contract (AbstractVectorField / OutOfPlace / StateDynamics), type stability (@inferred), and the DynClosedLoop rejection. Full suite green: 4315/4315.

Downstream

CTFlows Phase A′ will use these to wire Flow(fc, law) and Flow(ocp, OpenLoop/ClosedLoop) → a state flow returning a ControlledTrajectory (state + reconstructed control, no costate). Requires a new CTBase beta.

🤖 Generated with Claude Code